Deterministic finite automaton

Results: 142



#Item
11Formal languages / Computer science / Applied mathematics / Combinatorics on words / Probabilistic automaton / Finite-state machine / Finite state transducer / Nondeterministic finite automaton / Deterministic finite automaton / Automata theory / Models of computation / Theoretical computer science

Learning Stochastic Finite Automata for Musical Style Recognition? Colin de la Higuera, Fr´ed´eric Piat and Fr´ed´eric Tantini1 EURISE, Universit´e de Saint-Etienne, 23 rue du Docteur Paul Michelon, 42023 Saint-Etie

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2009-09-07 03:02:20
12Models of computation / Computer science / Software engineering / Nondeterministic finite automaton / Deterministic finite automaton / Regular language / Symbol / String / Regular expression / Automata theory / Formal languages / Theoretical computer science

Regular-expression derivatives reexamined SCOTT OWENS University of Cambridge

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2010-01-10 16:47:22
13Symbol / Finite-state machine / Deterministic automaton / Ω-automaton / Automata theory / Theoretical computer science / Computer science

Synthesis for Probabilistic Environments⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2008-09-22 13:37:30
14Büchi automaton / Automata theory / Models of computation / Deterministic finite automaton

Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2008-09-23 06:26:51
15Theoretical computer science / Computer science / Nested word / Pushdown automaton / Deterministic pushdown automaton / Turing machine / Nondeterministic finite automaton / SC / Deterministic finite automaton / Automata theory / Theory of computation / Models of computation

Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2014-12-11 10:15:34
16Computer science / Software engineering / Deterministic finite automaton / Nondeterministic finite automaton / Symbol / Counterexample / Regular expression / Automata theory / Models of computation / Theoretical computer science

JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2014-08-26 06:56:50
17Computer science / Software engineering / Finite-state machine / GOLD / Computing / Automata theory / Models of computation / Deterministic finite automaton

12 Informed learners T Understanding is compression, comprehension is compression!

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2010-07-20 08:11:04
18Computer science / Applied mathematics / Nondeterministic finite automaton / Markov chain / Probabilistic automaton / Deterministic finite automaton / Finite-state machine / Automata theory / Models of computation / Theoretical computer science

5 Representing distributions over strings with automata and grammars T

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2010-07-20 08:11:02
19Applied mathematics / Computer science / Directed acyclic word graph / Deterministic finite automaton / Algorithm / Machine learning / String searching algorithm / DFA minimization / Finite-state machine / Automata theory / Models of computation / Theoretical computer science

JMLR: Workshop and Conference Proceedings 34:207–217, 2014 Proceedings of the 12th ICGI Induction of Directed Acyclic Word Graph in a Bioinformatics Task

Add to Reading List

Source URL: jmlr.org

Language: English - Date: 2014-08-26 06:56:50
20Abstraction / Applied mathematics / Computer science / Programming paradigms / Data management / Abstract interpretation / Deterministic finite automaton / Formal verification / Abstract object / Automata theory / Theoretical computer science / Models of computation

Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology Eran Yahav

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2007-06-11 13:49:54
UPDATE